A classification of accessible categories
نویسندگان
چکیده
For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a category is called D-presentable when the corresponding representable functor preserves D-filtered colimits. The Daccessible categories are then the categories with D-filtered colimits and a small set of D-presentable objects which is “dense with respect to D-filtered colimits”. We suppose always that D satisfies a technical condition called “soundness”: this is the “suitable” case mentioned above. Every D-accessible category is accessible; thus the choice of different sound D provides a classification of accessible categories, as referred to in the title. A surprising number of the main results from the theory of accessible categories remain valid in the D-accessible context. The locally D-presentable categories are defined as the cocomplete D-accessible categories. When D consists of the finite categories, these are precisely the locally finitely presentable categories of Gabriel and Ulmer. When D consists of the finite discrete categories, these are the finitary varieties. As a by-product of this theory, we prove that the free completion under D-filtered colimits distributes over the free completion under limits. This result is new, even in the case where D is empty and D-filtered colimits are just arbitrary (small) colimits.
منابع مشابه
Arabic News Articles Classification Using Vectorized-Cosine Based on Seed Documents
Besides for its own merits, text classification (TC) has become a cornerstone in many applications. Work presented here is part of and a pre-requisite for a project we have overtaken to create a corpus for the Arabic text process. It is an attempt to create modules automatically that would help speed up the process of classification for any text categorization task. It also serves as a tool for...
متن کاملΜ-abstract Elementary Classes and Other Generalizations
We introduce μ-Abstract Elementary Classes (μ-AECs) as a broad framework for model theory that includes complete boolean algebras and metric spaces, and begin to develop their classification theory. Moreover, we note that μ-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: for example, ...
متن کاملA Global Glance on Categories in Logic
We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics. Mathematics Subject Classification (2000). Primary 03B22; Secondary 18C35.
متن کاملThe methodology of validating movement system based classification of low back pain: narrative review article
Classifying patients with low back pain into homogeneous and distinct categories by organizing similar manifestations among individuals can be helpful to attain better results for treatments. Providing homogenous categories of patients with low back pain would improve benefits produced by treatments. To gain a greater understanding of the proposed multi-stage process and validate diagnostic cat...
متن کاملAbstract elementary classes and accessible categories
ELEMENTARY CLASSES AND ACCESSIBLE CATEGORIES T. BEKE∗ AND J. ROSICKÝ∗∗ Abstract. We investigate properties of accessible categories with directed colimits and their relationship with categories arising from Shelah’s Abstract Elementary Classes. We also investigate ranks of objects in accessible categories, and the effect of accessible functors on ranks. We investigate properties of accessible c...
متن کامل